Nuprl Definition : rps 11,40

rps(x; y)
== bor(band((x = 2); (y = 0)); bor(band((x = 1); (y = 2)); band((x = 0); (y = 1)))) 
latex


Definitionsbor(p; q), band(p; q), (i = j), #$n
FDL editor aliasesrps

origin